Formale Verifikation Bedeutung

Mathematisch formaler Beweis der Korrektheit eines Programm(teil)s., vgl. Verifikation
Gefunden auf https://www.imbus.de/glossar/

Keine exakte Übereinkunft gefunden.

Zuletzt gesucht